#include "types.h"
#include "interrupt.h"
#include "console.h"
#include "sectors.h"
#include "mem.h"
#include "syscall.h"
#include "const.h"

uint ticks = 0;

void kernel()
{
	File_entry Fe;
	int index=FE_SECT;
	initSyscalls();			//Initialize system calls (interrupt 0x80)
	start_timer();

	while(1) 
	{
		init();
		exec(PICOSHELL_FILENAME, 0x2000);
	}
}
